A rule that assigns to each element
a
of
A
exactly one element
b
of
B
.